Programming idioms - PDFSEARCH.IO - Document Search Engine

Programming idioms
Results: 203

#	Item
51	PDF Document Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2012-03-22 19:10:07 Category theory Recursion Functional programming Adjoint functors Programming idioms F-coalgebra Anamorphism Monad Variety Computer programming Software engineering Computing
52	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:17 Sorting algorithms Theoretical computer science Mathematical logic Programming idioms Operations research Quicksort Selection algorithm Merge sort Algorithm Mathematics Applied mathematics Computer programming
53	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
54	MODIS Atmosphere QA Plan for Collection 006 Includes: Cirrus Flag & High Cloud Flag (06_CT) Clarification Deep Blue Aerosol Update Add to Reading List Source URL: modis-atmos.gsfc.nasa.gov Language: English - Date: 2015-05-06 17:30:07 Moderate-Resolution Imaging Spectroradiometer Central processing unit Programming idioms QA Quality assurance Flag EVI Water vapor FLAGS register Computer programming Computing Thermodynamics
55	PDF Document Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:29 Functional languages Recursion Programming idioms Subroutines Computability theory Erlang Haskell Fixed-point combinator Closure Software engineering Computer programming Computing
56	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-01 22:08:19 Mathematical logic Theoretical computer science Programming idioms Mathematical optimization Operations research Dynamic programming Algorithm Recursion Overlapping subproblems Mathematics Computer programming Applied mathematics
57	CS109A Notes for LectureRecursive Denition of Expressions Expressions with binary operators can be dened as follows. Basis: An operand is an expression. Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:57:50 Computing Theoretical computer science Programming idioms Mathematical notation Mathematical proofs Operand Mathematical induction Recursion Inductive reasoning Mathematics Computer programming Mathematical logic
58	Microsoft Word - vol1_Part 4_OS Scrub.doc Add to Reading List Source URL: files.renderingpipeline.com Language: English - Date: 2013-09-24 10:26:37 X86 instructions Central processing unit Control register MOV Instruction set architectures X86 architecture X86-64 Computer architecture Computing Programming idioms
59	Recap: Recursive Environments Reminder Mid-Term 1 is Tuesday next week (No homework will be assigned this week) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Theory of computation Functions and mappings Recursion Programming idioms Closure Scheme Factorial Vector space Function Mathematics Algebra Subroutines
60	888: LLVM Week 3 - LLVM-IR II Tobias Grosser Exerciselast week Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Recursion Programming idioms Compilers LLVM Fibonacci number Clang Euclidean algorithm Infinite loop Computability theory Computer programming Software Computing